  We consider a driven tagged particle in a symmetric exclusion process on Z
with a removal rule. In this process, untagged particles are removed once they
jump to the left of the tagged particle. We investigate the behavior of the
displacement of the tagged particle and prove limit theorems of it: an
(annealed) law of large numbers, a central limit theorem, and a large deviation
principle. We also characterize a class of ergodic measures for the environment
process. Our approach is based on analyzing two auxiliary processes with
associated martingales and a regenerative structure.
