Actually, this is only
strictly true for finite-dimensional spaces. Only a special subset
of denumerably infinite dimensional spaces have this property (i.e., they
are complete), but since a ket space must be complete if it is
to represent the states of a microscopic system, we need only consider
this special subset.