I'm trying to understand how bad things could get without Cauchy completeness as a criterion for Hilbert spaces in quantum mechanics. Obviously, doing calculus on a pre-Hilbert space would be complicated but could there still be some reasonable version of the spectral theorem? Why or why not? Some elaboration and perhaps even some references would be appreciated.