Density Characterisation of Total Boundedness