Total Boundedness Criterion for Compact Operators