A Semantic Approach to the Completeness Problem in Quantum Mechanics