The state or quality of being complete or exhaustive, especially in a logical or mathematical sense