Complete lazy sequences