What did Godel actually rule out, and what did he leave open?

Incompleteness is routinely invoked far beyond its scope. Precisely which of Hilbert's foundational aims did the incompleteness theorems close off, and which remain live?