 Henkin witness property

A theory in a language with constants has the Henkin witness property when every existential sentence $\exists x\varphi (x)$ belonging to it has an instance $\varphi (c)$ belonging to it for some constant $c$. This property proves the existential step of the truth lemma for a Henkin term model.