Source : Free On-Line Dictionary of Computing

consistently complete
     
        [{domain theory}] {boundedly complete}.