Full Idea
A set of expressions is 'decidable' iff there exists an effective procedure (qv) that, given some expression, will decide whether or not the expression is included in the set (i.e. doesn't contradict it).
Gist of Idea
Expressions are 'decidable' if inclusion in them (or not) can be proved
Source
Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.7)
Book Reference
Enderton,Herbert B.: 'A Mathematical Introduction to Logic' [Academic Press 2001], p.62
A Reaction
This is obviously a highly desirable feature for a really reliable system of expressions to possess. All finite sets are decidable, but some infinite sets are not.