The local completeness condition was introduced in the analysis of the locality of the gauge fixed action for gauge systems. This condition expresses that the gauge transformations and the reducibility coefficients should be described in such a way that they contain as few derivatives of the gauge parameters as possible. We show here that this condition not only guarantees that the gauge fixed action is local in space-time (as proved previously), but also that the antifield formalism leads to a unitary theory.
Read full abstract