(of animal tails or ears) cut short; "an undocked tail"