Giving one broad genus always completes a definition.

Definitions in Logic: Complete and Incomplete Ḥadd and Rasm