First some terminology (borrowed from here, page 14):
A positive program is a program with an error.
A negative program is a program without an error.
So there are four types of programs:
A positive program, analysed as positive -> true positive (TP).
A positive program, analysed as negative -> false negative (FN).
A negative program, analysed as positive -> false positive (FP).
A negative program, analysed as negative -> true negative (TN).
A system is sound, if it never accepts a positive program.
A system is complete, if it never rejects a negative program.
So judging by what I wrote above:
A complete system accepts FN and TN programs.
A sound system also accepts FN and TN programs.
A colleague told me sound systems also accept FP programs. Can someone confirm this and explain why they do?