Если X это класс распределителя для типа T, X дополнительно удовлетворяет требованиям полноты распределителя, если, T является ли тип полным или нет :
X это полный тип, и
все типы членов, allocator_traits<X> кроме value_type полных.