"ladder lottery" has only 4k results on Google compared to 54k for "ghost leg" and 48k for "amidakuji". Considering "ghost leg" likely includes more false positives I think they are used about 50/50. I would prefer aliasing both English names to amidakuji or alternatively making ghost leg the main tag.
Edit Disregard that. I don't know what's wrong with Google but searching again gives very different results (24k for "ladder tottery", 404k for "ghost leg" and 53k for "amidakuji"). "ladder lottery" still seems the least used name, I guess we should alias to ghost_leg_(game).