Completeness of Sobolev Spaces