complete variety

type of algebraic variety