I would expect that to be the case but AntennaPod has definitely played episodes that I have marked as played (some of which I just marked as played but had not listened to and some I had almost completely listened to but not quite finished before marking as played). Either way the episodes restarted, without my involvement, at the beginning.