האם לסיום סדר משנה נדרש מניין?