A dual approach to completeness