deˈcidable

/ dɪˈsaɪdəbəl /

adjective

1. able to be decided
2. logic (of a formal theory) having the property that it is possible by a mechanistic procedure to determine whether or not any well-formed formula is a theorem