Generalising the concept of a complete permutation polynomial over a finite field, we define completeness to level k for \(k\ge 1\) in fields of odd characteristic. We construct two families of polynomials that satisfy the condition of high level completeness for all finite fields, and two more families complete to the maximum level possible for large collection of finite fields. Under the binary operation of composition of functions, one family of polynomials is an abelian group isomorphic to the additive group, while the other is isomorphic to the multiplicative group.
