The condition that exists when each row in a table conforms to the check constraints that are defined on that table.