Consistently complete

boundedly complete

Free Online Dictionary of Computing