Completeness In The Shadow Of Decidability