Every two-term definition is a complete ḥadd.

Definitions in Logic: Complete and Incomplete Ḥadd and Rasm