Decidability

A property of a problem or language where an algorithm exists that can always determine the correct yes/no answer in finite time for any input.