Estimating Map Completeness in Robot Exploration