An object is terminal iff every object has a unique morphism into it. That is, \$$\forall c\in P\,\,c\to z\Leftrightarrow c\leq z\$$.