Completing codes and the Rédei property of groups

The Hajós property of groups is extensively used in connection with variable length codes. We will show that a weaker property, the Rédei property, can also be employed for studying completion of codes.